Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
661	Higher-Order Dynamic Pattern Unification for Dependent Types and Records Andreas Abel1 and Brigitte Pientka2 1 Institut f¨ Add to Reading List Source URL: www2.tcs.ifi.lmu.de Language: English - Date: 2011-02-03 11:01:19 Function Unification Model theory Lambda calculus Μ operator Symbol Mathematics Mathematical logic Logic
662	DRA FRONT END FILTER PROJECT Informal Justifications for Proof of Security Lemma 1 Project: Add to Reading List Source URL: www.lemma-one.com Language: English - Date: 2009-12-05 09:37:18 Z notation Order theory Constructible universe S Axiom L Filter Mathematical logic Set theory Mathematics
663	A Mathematical Framework for the Study of Coevolution Anthony Bucci DEMO Lab Computer Science Department, MS018 Brandeis University Add to Reading List Source URL: demo.cs.brandeis.edu Language: English - Date: 2003-02-02 08:58:09 Mathematics Operations research Abstraction Game theory Pareto efficiency Preorder Maximal element Entailment Multi-objective optimization Mathematical optimization Logic Order theory
664	NEWS & VIEWS MICROFLUIDIC CRYSTALS Impossible order The discovery that microfluidic ‘crystals’ exhibit long-range collective behaviour demonstrates their potential use as a testbed for studying dissipative Add to Reading List Source URL: www.weizmann.ac.il Language: English - Date: 2013-05-19 03:47:12 Thermodynamics Non-equilibrium thermodynamics Nanotechnology Microfluidics Phonon Thermodynamic equilibrium Dissipative system Self-organization Chemistry Systems theory Physics Science
665	Finitary functors: from Set to Preord and Poset Adriana Balan1 1 University Alexander Kurz2 Add to Reading List Source URL: calco2011.ecs.soton.ac.uk Language: English - Date: 2011-10-04 15:56:08 Adjoint functors Functor Limit Finitary Partially ordered set Lifting theory Structure Mathematical analysis Mathematics Order theory
666	Introduction to Computing: Explorations in Language, Logic, and Machines Add to Reading List Source URL: www.computingbook.org Language: English - Date: 2011-08-19 11:52:42 Theoretical computer science Insertion sort B-tree Algorithm Time complexity Recursion Radix sort Selection algorithm Mathematics Sorting algorithms Order theory
667	Separating Power Series: Presidential Influence v. Control Over Independent Agencies Add to Reading List Source URL: www.fas.org Language: English - Date: 2015-03-26 13:19:37 New Deal agencies Public administration Law Decision theory Rulemaking Executive branch of the United States government Administrative Procedure Act Regulatory agency Executive order United States administrative law Government Administrative law
668	A Cost Framework for Evaluating Integrated Restructuring Optimizations Bharat Chandramouli, John B. Carter, Wilson C. Hsieh, Sally A. McKee School of Computing University of Utah Abstract Add to Reading List Source URL: research.ac.upc.edu Language: English - Date: 2002-03-20 08:47:59 Computer programming Programming language theory Loop optimization CPU cache Lookup table Aliasing Cache Row-major order Dynamic array Computing Compiler optimizations Arrays
669	Questions of Reasoning Under Logical Uncertainty Nate Soares and Benja Fallenstein Machine Intelligence Research Institute {nate,benja}@intelligence.org Abstract Add to Reading List Source URL: intelligence.org Language: English - Date: 2015-03-20 21:16:44 Reasoning Logical consequence Non-classical logic Probabilistic logic Entailment First-order logic Bayesian probability Inference Complete theory Logic Philosophical logic Model theory
670	CCCG 2007, Ottawa, Ontario, August 20–22, 2007 A Lower Bound on the Area of a 3-Coloured Disc Packing Peter Brass∗ Ferran Hurtado† Add to Reading List Source URL: cccg.ca Language: English - Date: 2008-10-28 21:29:35 Discrete geometry Computational geometry Lattice points Order theory Diagrams Voronoi diagram Lattice Total order Packing problem Mathematics Geometry Abstract algebra

UPDATE